$\forall$$i$:$\mathbb{N}^{+}$. 0 $<$ $i$